https://github.com/scallop-lang/scallop